@Override
public double getActivity(int literal) {
Double activity = activityCounters.get(atomOf(literal));
return defaultActivityIfNull(activity);
}
@Override
public double getActivity(int literal) {
return activityCounters.getOrDefault(atomOf(literal), DEFAULT_ACTIVITY);
}
/**